1661. Tests and proofs
پدیدآورنده : Achim D. Brucker, Jacques Julliand
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
T48
T37
2012eb
1662. Tests and proofs
پدیدآورنده : Catherine Dubois (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Quality control, Congresses,Computer software-- Reliability, Congresses,Computer software-- Testing, Congresses
رده :
QA76
.
76
.
T48
T37
2009
1663. The beauty of functional code :
پدیدآورنده : Peter Achten, Pieter Koopman (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
1664. The free market and its enemies : pseudo-science, socialism, and inflation
پدیدآورنده : / Ludwig Von Mises, Richard M Ebeling
کتابخانه: (هرمزکان)
موضوع : Free enterprise.,Industrial productivity--Econometric models--Congresses.,Macintosh (Computer)--Programming.
1665. The second Aizu International Symposium on Parallel Algorithms / Architecture Synthesis : proceedings, March 17-21, 1997, Aizu-Wakamatsu, Fukushima, Japan
پدیدآورنده : sponsored by the University of Aizu; in cooperation with IEEE Computer Society Technical Committee on Computer Architecture ... ]et al.[ ; editors, Nikolay Mirenkov ... ]et al.[
کتابخانه: (طهران)
موضوع : Parallel algorithms - Congresses , Parallel programming )Computer science( - Congresses
رده :
QA
76
.
642
.
A43
1997
1666. The second Aizu international symposium on parallel algorithms/architecture synthesis :proceedings ,March 17-21 ,1997 ,Aizu -Wakamatsu ,Fukushima ,Japon
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Parallel programming )computer science( -congresses,، Computr algorthims -congresses
1667. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1668. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
1669. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1670. Theory and practice of model transformations
پدیدآورنده : Zhenjiang Hu, Juan de Lara (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2012eb
1671. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
1672. Theory and practice of model transformations :
پدیدآورنده : Laurence Tratt, Martin Gogolla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
1673. Theory and practice of model transformations
پدیدآورنده : Richard F. Paige (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-driven software architecture, Congresses
رده :
QA76
.
76
.
D47
I26
2009
1674. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
1675. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه ن‍وی‍س‍ی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
1676. Theory of algorithms
پدیدآورنده : edited by L. Lovasz and E. Szemeredi
کتابخانه: (طهران)
موضوع : Congresses ، Algorithms,Congresses ، Machine translating,Congresses ، Computer programming
رده :
QA
9
.
58
.
C64
1984
1677. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
1678. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده : editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: (طهران)
موضوع : Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
1679. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
پدیدآورنده : edited by Ehud Shapiro
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
225
1680. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
پدیدآورنده : edited by Ehud Y. Shapiro
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
225
